\nonstopmode
\documentclass[twoside, english,numbers=noenddot, abstracton, headsepline, openright]{scrreprt}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{geometry}
\geometry{verbose,tmargin=3cm,bmargin=3cm,lmargin=3cm,rmargin=3cm}

\setlength{\parskip}{\medskipamount}
\setlength{\parindent}{0pt}
\usepackage{color}
\usepackage{babel}
\usepackage{graphicx}
\PassOptionsToPackage{normalem}{ulem}
\usepackage{ulem}
\usepackage{nomencl}

\providecommand{\printnomenclature}{\printglossary}
\providecommand{\makenomenclature}{\makeglossary}
%\makenomenclature

\makeatletter

\providecommand{\tabularnewline}{\\}

\usepackage{textcomp}
\usepackage{textpos}
\setlength{\TPHorizModule}{10mm}
\setlength{\TPVertModule}{\TPHorizModule}
\usepackage{type1cm}

\usepackage{ellipsis, fixltx2e, mparhack,  
            booktabs, longtable,           
            wrapfig
}  
\usepackage[svgnames,table,hyperref]{xcolor}

\definecolor{cyan}{RGB}{88, 190, 184}

\selectlanguage{english}
\newcommand{\UMLType}[1]{\textsf{\textit{#1}}}
\newcommand{\TCGType}[1]{#1}
\newcommand{\UMLReference}[1]{\textsf{\textit{#1}}} 
\usepackage{amsmath}
\usepackage{amssymb}
\newtheorem{definition}{Definition}

%Metadata
\usepackage[pdftex,
            plainpages=false,
            pdfpagelabels,
            pdfauthor={Felix Kurth},
            pdftitle={Automated Generation of Unit Tests from UML Activity Diagrams using the AMPL Interface for Constraint Solvers},
            pdfsubject={Unit Test, Model Based Engineering, Activity, UML, AMPL, Constraint Solver, Automated Generation of Test Cases},
            pdfkeywords={UML,AMPL},
            pdfproducer={Latex with hyperref},
            pdfcreator={pdflatex}]{hyperref}
            
\usepackage{nameref}
\usepackage{algorithm}
\usepackage{algpseudocode}
% draw graphs with latex
\usepackage{pgfplots}
\pgfplotsset{compat=1.9}
\usetikzlibrary{patterns}
%\usepackage{algorithmic}
\usepackage{listings}%[2000/08/23]
\usepackage{lstlangampl} % syntax file, I added some more keywords like 'display'
            
\author{Felix Kurth}
\title{Automated Generation of Unit Tests from UML Activity Diagrams using the AMPL Interface for Constraint Solvers}
\pdfinfo{
   /Author (Felix Kurth)
   /Title  (Automated Generation of Unit Tests from UML Activity Diagrams using the AMPL Interface for Constraint Solvers)
   /CreationDate (D:20040502195600)
   /Subject (PDFLaTeX)
   /Keywords (PDF;LaTeX)
}



\begin{document}
\titlepage

\setlength{\parskip}{1pt}

\noindent \begin{flushright}
\includegraphics[width=55mm,height=16mm]{pics/tuhh_logo}
\par\end{flushright}

\textcolor{cyan}{\rule[0.5ex]{1\columnwidth}{0.5pt}}

\textsf{\textcolor{cyan}{\Large Master Thesis}}{\Large \par}

\textcolor{cyan}{\rule[0.5ex]{1\columnwidth}{0.5pt}}

\vspace{32mm}


\noindent \begin{flushright}
\textsf{\Large  Felix Kurth}\textsf{\textbf{\Large }}\\
\textsf{\vspace{1.2cm}
}
\par\end{flushright}

\noindent \begin{flushright}
\textsf{\huge Automated Generation of Unit Tests from UML Activity Diagrams using the AMPL Interface for Constraint Solvers}\\
\par\end{flushright}{\huge \par}

\vspace{45mm}


\noindent \begin{flushright}
\textsf{\Large \today}
\par\end{flushright}{\Large \par}

\noindent \begin{flushleft}
\textsf{\vspace{16mm}
}\textcolor{cyan}{\rule[0.5ex]{1\columnwidth}{0.5pt}}\\
\textsf{\textcolor{cyan}{\large supervised by:}}\textsf{}\\
\textsf{Prof. Dr. Sibylle Schupp}\\
\textsf{Prof. Dr. Ralf God}\textcolor{cyan}{}\\
\textcolor{cyan}{\rule[0.5ex]{1\columnwidth}{0.5pt}\begin{textblock}{3}(12.7,0.2)\includegraphics[width=23mm,height=23mm]{pics/STS-Logo}\end{textblock}}\textsf{\textcolor{cyan}{Hamburg University of Technology (TUHH)}}\\
\textsf{\textcolor{cyan}{\textit{Technische Universit{\"a}t Hamburg-Harburg}}}\\
\textsf{\textcolor{cyan}{Institute for Software Systems}}\\
%\textsf{\textcolor{cyan}{Schwarzenbergstr.~95}}\\
\textsf{\textcolor{cyan}{21073 Hamburg}}
\par\end{flushleft}


\cleardoublepage
%-----------------------------------------
\pagenumbering{Roman}\chapter*{Statutory Declaration}
I, Felix Kurth, declare that I have authored this thesis independently, that I
have not used other than the declared sources / resources, and that I have
explicitly marked all material which has been quoted either literally or by
content from the used sources. Neither this thesis nor any other similar
work has been previously submitted to any examination board.
\hspace{3cm}
\begin{flushright}
Hamburg, January 1, 2014 \\ 
\vspace{0.5cm}
 \dotuline{\hspace{5cm}}
 \\ 
Felix Kurth
\end{flushright}
\cleardoublepage%----------------------------------------

\abstract{Testing is one important way of validating and verifying the behaviour of software artefacts. With the use of Model--Based Engineering comes the need to ensure that the implementation derived from models actually behaves like specified in the corresponding models. \\
In this thesis, we generate unit tests from UML activity diagrams modelling C components. 
We use symbolic execution to transform embedded OCL constraints along a control flow path into a rigorous mathematical program expressed in `\textbf{A} \textbf{M}athematical \textbf{P}rogramming \textbf{L}anguage' (AMPL). We derive test data from the mathematical program by having it solved with state--of--the--art constraint solvers.
% each control flow path to test vity diagram with . 
The generated tests will satisfy control flow--based coverage criteria on the used models. Since unit tests using test data at the bounds of path constraints do have a higher probability to detect faults, we also use boundary value analysis for testing. A special focus is on allowing mixed integer non--linear programming as well as logical formulas in OCL constraints because we want to put as little restrictions as possible on the used test models.}
%\printnomenclature
\tableofcontents
\clearpage
\pagenumbering{arabic}
\input{Motivation}
\input{preliminaries}
\input{tcgenerator}
\input{evaluation}
\input{conclusion}

\appendix
\bibliographystyle{IEEEtran}
\bibliography{./bibtex}


\end{document}